Flum, Jörg: шукати на сайті Z-Library

Журнал:

Рік:

1971

Мова:

german

Файл:

PDF, 781 KB

german, 1971

Hanf numbers and well-ordering numbers

Журнал:

Рік:

1972

Мова:

english

Файл:

PDF, 821 KB

english, 1972

Games, Kernels, and Antitone Operations

Flum, Jörg, Grohe, Martin

Журнал:

Order

Рік:

2000

Мова:

english

Файл:

PDF, 85 KB

english, 2000

The Parameterized Complexity of Counting Problems

Журнал:

SIAM Journal on Computing

Рік:

2004

Мова:

english

Файл:

PDF, 347 KB

english, 2004

On the complexity of Gödel's proof predicate

Журнал:

Рік:

2010

Мова:

english

Файл:

PDF, 175 KB

english, 2010

Some lower bounds in parameterized AC0

Information and Computation

Журнал:

Рік:

2019

Мова:

english

Файл:

PDF, 875 KB

english, 2019

An Extension of the Lemma of Rasiowa and Sikorski

Mathematical Logic Quarterly

Журнал:

Рік:

1998

Мова:

english

Файл:

PDF, 276 KB

english, 1998

Bounded fixed-parameter tractability and reducibility

Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer

Журнал:

Annals of Pure and Applied Logic

Рік:

2007

Мова:

english

Файл:

PDF, 386 KB

english, 2007

Bounded fixed-parameter tractability and nondeterministic bits

Jörg Flum, Martin Grohe, Mark Weyer

Журнал:

Journal of Computer and System Sciences

Рік:

2006

Мова:

english

Файл:

PDF, 424 KB

english, 2006

On miniaturized problems in parameterized complexity theory

Yijia Chen, Jörg Flum

Журнал:

Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 338 KB

english, 2006

Games and total Datalog¬ queries

Jörg Flum, Max Kubierschky, Bertram Ludäscher

Журнал:

Theoretical Computer Science

Рік:

2000

Мова:

english

Файл:

PDF, 343 KB

english, 2000

On Horn theories

Mathematische Zeitschrift

Журнал:

Рік:

1974

Мова:

english

Файл:

PDF, 311 KB

english, 1974

Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen

Журнал:

Рік:

1971

Мова:

german

Файл:

PDF, 384 KB

german, 1971

Ganzgeschlossene und Prädikatengeschlossene Logiken. II

Журнал:

Рік:

1971

Мова:

german

Файл:

PDF, 458 KB

german, 1971

Maximale monadische Logiken

Журнал:

Рік:

1985

Мова:

german

Файл:

PDF, 384 KB

german, 1985

Bemerkungen über minimale Modelle

Журнал:

Рік:

1972

Мова:

german

Файл:

PDF, 225 KB

german, 1972

Die Automorphismenmengen der Modelle einerLQx-Theorie

Журнал:

Theory of Computing Systems

Рік:

1972

Мова:

german

Файл:

PDF, 196 KB

german, 1972

W-Hierarchies Defined by Symmetric Gates

Michael Fellows, Jörg Flum, Danny Hermelin, Moritz Müller, Frances Rosamond

Журнал:

Рік:

2010

Мова:

english

Файл:

PDF, 627 KB

english, 2010

Lower Bounds for Kernelizations and

Yijia Chen, Jörg Flum, Moritz Müller

Журнал:

Theory of Computing Systems

Рік:

2011

Мова:

english

Файл:

PDF, 1011 KB

english, 2011

Quantifiers and Congruence Closure

Jörg Flum, Matthias Schiehlen, Jouko Väänänen

Журнал:

Studia Logica

Рік:

1999

Файл:

PDF, 700 KB

1999

Describing parameterized complexity classes

Jörg Flum, Martin Grohe

Журнал:

Information and Computation

Рік:

2003

Мова:

english

Файл:

PDF, 323 KB

english, 2003

Fixed-Parameter Tractability, Definability, and Model-Checking

Flum, Jörg, Grohe, Martin

Журнал:

SIAM Journal on Computing

Рік:

2001

Мова:

english

Файл:

PDF, 334 KB

english, 2001

Consistency, optimality, and incompleteness

Chen, Yijia, Flum, Jörg, Müller, Moritz

Журнал:

Annals of Pure and Applied Logic

Рік:

2013

Мова:

english

Файл:

PDF, 288 KB

english, 2013

From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem

Журнал:

Journal of the ACM

Рік:

2012

Мова:

english

Файл:

PDF, 268 KB

english, 2012

A Remark on Infinitary Languages

Журнал:

Рік:

1971

Мова:

english

Файл:

PDF, 241 KB

english, 1971

Universal Classes in Infinitary Languages.by Jerome Malitz

Review by: Jörg Flum

Журнал:

Yijia Chen, Jörg Flum and Martin Grohe

Рік:

1974

Мова:

english

Файл:

PDF, 208 KB

english, 1974

An Analysis of the W -Hierarchy

Журнал:

Jörg Flum and Martin Grohe

Рік:

2007

Мова:

english

Файл:

PDF, 1.45 MB

english, 2007

On Fixed-Point Logic with Counting

Журнал:

Рік:

2000

Мова:

english

Файл:

PDF, 257 KB

english, 2000

[IEEE Twenty-Second Annual IEEE Conference on Computational Complexity - San Diego, CA, USA (2007.06.13-2007.03.16)] Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07) - On Parameterized Path and Chordless Path Problems

Chen, Yijia, Flum, Jorg

Рік:

2007

Мова:

english

Файл:

PDF, 228 KB

english, 2007

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - A Logic for PTIME and a Parameterized Halting Problem

Ebbinghaus, Heinz-Dieter, Flum, Jörg

Рік:

2009

Мова:

english

Файл:

PDF, 276 KB

english, 2009

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - On the Ordered Conjecture

Chen, Yijia, Flum, Jorg

Рік:

2012

Мова:

english

Файл:

PDF, 328 KB

english, 2012

[Springer Monographs in Mathematics] Finite Model Theory ||

Рік:

1999

Мова:

english

Файл:

PDF, 15.39 MB

english, 1999

Parameterized Complexityby R. G. Downey; M. R. Fellows

Review by: Jörg Flum

Журнал:

Bulletin of Symbolic Logic

Рік:

2002

Мова:

english

Файл:

PDF, 345 KB

english, 2002

Strong isomorphism reductions in complexity theory

Buss, Sam, Chen, Yijia, Flum, Jörg, Friedman, Sy-David, Müller, Moritz

Журнал:

Flum, Jörg, Ziegler, Martin

Рік:

2011

Мова:

english

Файл:

PDF, 1.39 MB

english, 2011

Pseudo-finite homogeneity and saturation

Журнал:

Flum, Jörg, Rodriguez-Artalejo, Mario

Рік:

1999

Мова:

english

Файл:

PDF, 712 KB

english, 1999

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 || Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (Extended Abstract)

Рік:

1999

Мова:

english

Файл:

PDF, 189 KB

english, 1999

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 ||

Flum, Jörg, Rodriguez-Artalejo, Mario

Рік:

1999

Мова:

english

Файл:

PDF, 27.20 MB

english, 1999

An analysis of the W*-hierarchy

Chen, Yijia, Flum, Jörg, Grohe, Martin

Журнал:

Bulletin of Symbolic Logic

Рік:

2007

Мова:

english

Файл:

PDF, 1.20 MB

english, 2007

ON OPTIMAL INVERTERS

CHEN, YIJIA, FLUM, JÖRG

Журнал:

Рік:

2014

Мова:

english

Файл:

PDF, 383 KB

english, 2014

L(Q)-preservation theorems

Flum, Jörg

Журнал:

Flum, Jörg, Martinez, Juan Carlos

Рік:

1975

Мова:

english

Файл:

PDF, 647 KB

english, 1975

On topological spaces equivalent to ordinals

Журнал:

Chen, Yijia, Flum, Jörg, Müller, Moritz

Рік:

1988

Мова:

english

Файл:

PDF, 275 KB

english, 1988

Hard Instances of Algorithms and Proof Systems

Журнал:

ACM Transactions on Computation Theory

Рік:

2014

Мова:

english

Файл:

PDF, 208 KB

english, 2014

Query evaluation via tree-decompositions

Flum, Jörg, Frick, Markus, Grohe, Martin

Журнал:

Journal of the ACM

Рік:

2002

Мова:

english

Файл:

PDF, 298 KB

english, 2002

Quantifiers and Congruence Closure

Jörg Flum, Matthias Schiehlen and Jouko Väänänen

Журнал:

Studia Logica

Рік:

1999

Мова:

english

Файл:

PDF, 2.18 MB

english, 1999

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium'87, Proceedings of the Colloquium held in Granada Volume 129 || Model Theory of Regular and Compact Spaces

Flum, Jörg

Рік:

1989

Мова:

english

Файл:

PDF, 471 KB

english, 1989

Einführung in die mathematische Logik ||

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang

Рік:

2018

Мова:

german

Файл:

PDF, 2.87 MB

german, 2018

Downey R. G. and Fellows M. R.. Parameterized complexity . Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp.

Flum, Jörg

Журнал:

Bulletin of Symbolic Logic

Рік:

2002

Мова:

english

Файл:

PDF, 84 KB

english, 2002

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Tree-depth, quantifier elimination, and quantifier rank